((v1 v2 5) (v1 v3 8) (v2 v3 6) (v1 v4 9) (v2 v4 5) (v3 v4 0) (v1 v5 2) (v2 v5 6) (v3 v5 3) (v4 v5 1) (v1 v6 3) (v2 v6 0) (v3 v6 5) (v4 v6 0) (v5 v6 2))
63
()